True quantified Boolean formula - PDFSEARCH.IO - Document Search Engine

True quantified Boolean formula
Results: 47

#	Item
41	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2007-04-16 00:53:37 2-satisfiability True quantified Boolean formula Connectivity SL NP-complete problems Matching Vertex cover Skew-symmetric graph Theoretical computer science Mathematics Graph theory
42	PDF Document Add to Reading List Source URL: www.logic.rwth-aachen.de Language: English - Date: 2007-04-25 06:02:11 Metalogic Model theory Logical syntax Formal languages FO Well-formed formula First-order logic Satisfiability True quantified Boolean formula Logic Mathematics Mathematical logic
43	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-01-08 22:00:38 Complexity classes True quantified Boolean formula PSPACE-complete FO NP P NSPACE DSPACE Cook–Levin theorem Theoretical computer science Computational complexity theory Applied mathematics
44	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2006-11-16 10:32:03 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories True quantified Boolean formula Solver Theoretical computer science Applied mathematics Mathematics
45	PDF Document Add to Reading List Source URL: pst.istc.cnr.it Language: English - Date: 2007-08-26 10:17:21 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories Solver True quantified Boolean formula Theoretical computer science Applied mathematics Mathematics
46	PDF Document Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2008-04-30 11:17:19 Combinatorial game theory Complexity classes PSPACE-complete EXPTIME Generalized geography True quantified Boolean formula Hot game Kayles Impartial game Theoretical computer science Mathematics Computational complexity theory
47	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic